On co-Filters in Semigroups with Apartness

The logical environment of this research is the Intuitionistic Logic and principled-philosophical orientation Bishop’s Constructive Mathematics. In paper, basing our consideration on sets with apartness relation, we analyze lattices all co-filters an ordered semigroup under a co-quasiorder as continuation article [?]. We prove number results related to in lattice such semigroups.